CORE

🇺🇦   make metadata, not war

    7 research outputs found

    Formal methods for design and simulation of embedded systems

    Author
    Publication venue
    Technical University of Denmark
    Publication date
    Field of study
    Get PDF
    Online Research Database In Technology

    A Modelling Framework for Energy Harvesting Aware Wireless Sensor Networks

    Author
    Publication venue
    'IntechOpen'
    Publication date
    Field of study
    Get PDF
    IntechOpen

    System level modelling with open source tools

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Online Research Database In Technology

    Modelling of Energy Harvesting Aware Wireless Sensor Networks

    Author
    Publication venue
    'IntechOpen'
    Publication date
    Field of study
    No full text
    Online Research Database In Technology

    DEHAR: a Distributed Energy Harvesting Aware Routing Algorithm for Ad-hoc Multi-hop Wireless Sensor Networks.

    Author
    Publication venue
    'Institute of Electrical and Electronics Engineers (IEEE)'
    Publication date
    Field of study
    No full text
    Crossref
    Online Research Database In Technology

    Formal Verification of an energy aware routing algorithm

    Author
    Publication venue
    DTU Informatik, Danmarks Tekniske Universitet
    Publication date
    Field of study
    No full text
    Online Research Database In Technology

    Formal heterogeneous system modeling with SystemC

    Author
    Publication venue
    'Institute of Electrical and Electronics Engineers (IEEE)'
    Publication date
    Field of study
    No full text
    Online Research Database In Technology
    corecore